GRAPE: GRaphical Abstracted Protein Explorer
نویسندگان
چکیده
منابع مشابه
GRAPE: GRaphical Abstracted Protein Explorer
The region surrounding a protein, known as the surface of interaction or molecular surface, can provide valuable insight into its function. Unfortunately, due to the complexity of both their geometry and their surface fields, study of these surfaces can be slow and difficult and important features may be hard to identify. Here, we describe our GRaphical Abstracted Protein Explorer, or GRAPE, a ...
متن کاملGEM: Graphical Explorer for MPI Programs
Formal dynamic verification can complement MPI program testing by detecting hard-tofind concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limitation of ISP, when used by itself, is the lack of a powerful and widely usable graphical front-end. W...
متن کاملGRAPE-II: Graphical RApid Prototyping Environment
The paper describes GRAPE-II (Graphical RApid Prototyping Environment), an advanced system level development environment for the specification, compilation, debugging, simulation and emulation of complete DSP applications. GRAPE-II fully supports the real-time emulation of synchronous multi-rate applications on heterogeneous target platforms, consisting of multiple TMS320C40 processors, DSP5600...
متن کاملNeuroGFX: a graphical functional explorer for fruit fly brain circuits
Recently, multiple focused efforts have resulted in substantial increase in the availability of connectome data in the fruit fly brain. Elucidating neural circuit function from such structural data calls for a scalable computational modeling methodology. We propose such a methodology that includes i) a brain emulation engine, with an architecture that can tackle the complexity of whole brain mo...
متن کاملThe Design and Implementation of the GraPE Graphical Proof Editor
We present GraPE, a graphical proof editor that strives to provide a unified point-and-click interface for a variety of existing theorem provers and supports advanced proof editing features. It strictly separates the graphical user interface responsible for displaying the derivation being worked on from the actual proof engine, yielding a flexible and powerful theorem proving environment. Unlik...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nucleic Acids Research
سال: 2010
ISSN: 0305-1048,1362-4962
DOI: 10.1093/nar/gkq398